]> dgit.raspbian.org Git - gnome-shell.git/commit
extensionSystem: Allow disabling session mode extensions
authorDidier Roche <didrocks@ubuntu.com>
Wed, 17 Jan 2018 12:43:11 +0000 (13:43 +0100)
committerFlorian Müllner <florian.muellner@gmail.com>
Sat, 20 Jul 2019 14:17:35 +0000 (14:17 +0000)
commitce1bee727ae4811ff81ce109ca7d44a95c2e9d06
tree51e4dc6f83696125701b29339debe66bc97ceb68
parent43cb3754d9b2f805422db65da03134ca6628ebe6
extensionSystem: Allow disabling session mode extensions

Trying to disable an extension that is enabled by the session mode
currently has no effect, which is clearly confusing. We could update
the various extension UIs to reflect that via sensitivity, but being
unable to configure extensions based on which session the user picked
at login isn't obvious either.

So instead, add a 'disabled-extensions' gsettings key to list extensions
that should not be enabled which takes precedence over 'enabled-extensions'
and can be used to disable session mode extensions.

https://bugzilla.gnome.org/show_bug.cgi?id=789852
data/org.gnome.shell.gschema.xml.in
js/ui/extensionSystem.js